More from this Author
Found 6 books by Peter Dybjer (Editor)
Epistemology Versus Ontology
by Sten Lindström (Editor), Peter Dybjer (Editor), Erik Palmgren (Editor), Göran Sundholm (Editor)
Category Theory and Computer Science
by David Pitt, Peter Dybjer (Editor), Andrew Pitts (Editor), Axel Poigne (Editor), David E. Rydeheard (Editor)
Types for Proofs and Programs
by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)
Types for Proofs and Programs
by TYPES '99 Staff, Thierry Coquand (Editor), Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan H. Smith (Editor)
Types for Proofs and Programs
by Peter Dybjer (Editor), Bengt Nordstrom (Editor), Jan Smith (Editor)
Types for Proofs and Programs
by Thierry Coquand (Editor), Peter Dybjer (Editor), Bengt Nordstrom (Editor)